Skip to content

Revert "Feature/jax point source"#357

Merged
Jammy2211 merged 1 commit intomainfrom
revert-355-feature/jax_point_source
Jun 17, 2025
Merged

Revert "Feature/jax point source"#357
Jammy2211 merged 1 commit intomainfrom
revert-355-feature/jax_point_source

Conversation

@Jammy2211
Copy link
Copy Markdown
Collaborator

Reverts #355

@Jammy2211 Jammy2211 merged commit 05ee111 into main Jun 17, 2025
8 checks passed
@Jammy2211 Jammy2211 deleted the revert-355-feature/jax_point_source branch June 24, 2025 13:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant